|
|
Biblioteca Dr. Antonio Monteiro · Catálogo |
| Conference on Alternative Semantics (1970 : Temple University) | ||||
| 1. | Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc. | 1973 | Libro |
03 C748 |
| International Symposium on the Theory of Models (1963 : Berkeley, Calif.) | ||||
| 2. | The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J. W. Addison, Leon Henkin, Alfred Tarski. | 1965 | Libro |
03 In61-1963 |
| Logic Colloquium (8º : 1963 : Oxford, Inglaterra) | ||||
| 3. | Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 / edited by J. N. Crossley and M. A. E. Dummett. | 1965 | Libro |
03 L832c-8 |
| Scandinavian Logic Symposium (2º : 1970 : University of Oslo) | ||||
| 4. | Proceedings of the Second Scandinavian Logic Symposium / edited by J. E. Fenstad. | 1971 | Libro |
03 Sc283-2 |
| Autores varios | ||||
| 5. | The Bulletin of Symbolic Logic / Association for Symbolic Logic. | 1995 | Revista | |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com